AGM-Like Paraconsistent Belief Change

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations

Paraconsistency

Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of contradictory formulas (with respect to such negation) does not necessarily imply triviality, discordant to what would be expected by contemporary logical orthodoxy. From a purely logical point of view, the significance of paraconsistency relies on the meticulous distinction between the general notions of contradictoriness and triviality of a theory—respectively, the fact that a given theory proves a proposition and its negation, and the fact that a given theory proves any proposition (in the language of its underlying logic). Aside from this simple rationale, the formal techniques and approaches that meet the latter definitional requirement are manifold. Furthermore, it is not solely the logical-mathematical properties of such systems that are open to debate. Rather, there are several foundational and philosophical questions worth studying, including the very question about the nature of the contradictions allowed by paraconsistentists. This entry aims to advance a brief account of some distinct approaches to paraconsistency, providing a panorama on the development of paraconsistent logic

Paraconsistent Belief Revision based on a formal consistency operator

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal consistency

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements

Mortality and pulmonary complications in patients undergoing surgery with perioperative SARS-CoV-2 infection: an international cohort study

Background: The impact of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) on postoperative recovery needs to be understood to inform clinical decision making during and after the COVID-19 pandemic. This study reports 30-day mortality and pulmonary complication rates in patients with perioperative SARS-CoV-2 infection. Methods: This international, multicentre, cohort study at 235 hospitals in 24 countries included all patients undergoing surgery who had SARS-CoV-2 infection confirmed within 7 days before or 30 days after surgery. The primary outcome measure was 30-day postoperative mortality and was assessed in all enrolled patients. The main secondary outcome measure was pulmonary complications, defined as pneumonia, acute respiratory distress syndrome, or unexpected postoperative ventilation. Findings: This analysis includes 1128 patients who had surgery between Jan 1 and March 31, 2020, of whom 835 (74·0%) had emergency surgery and 280 (24·8%) had elective surgery. SARS-CoV-2 infection was confirmed preoperatively in 294 (26·1%) patients. 30-day mortality was 23·8% (268 of 1128). Pulmonary complications occurred in 577 (51·2%) of 1128 patients; 30-day mortality in these patients was 38·0% (219 of 577), accounting for 81·7% (219 of 268) of all deaths. In adjusted analyses, 30-day mortality was associated with male sex (odds ratio 1·75 [95% CI 1·28–2·40], p\textless0·0001), age 70 years or older versus younger than 70 years (2·30 [1·65–3·22], p\textless0·0001), American Society of Anesthesiologists grades 3–5 versus grades 1–2 (2·35 [1·57–3·53], p\textless0·0001), malignant versus benign or obstetric diagnosis (1·55 [1·01–2·39], p=0·046), emergency versus elective surgery (1·67 [1·06–2·63], p=0·026), and major versus minor surgery (1·52 [1·01–2·31], p=0·047). Interpretation: Postoperative pulmonary complications occur in half of patients with perioperative SARS-CoV-2 infection and are associated with high mortality. Thresholds for surgery during the COVID-19 pandemic should be higher than during normal practice, particularly in men aged 70 years and older. Consideration should be given for postponing non-urgent procedures and promoting non-operative treatment to delay or avoid the need for surgery. Funding: National Institute for Health Research (NIHR), Association of Coloproctology of Great Britain and Ireland, Bowel and Cancer Research, Bowel Disease Research Foundation, Association of Upper Gastrointestinal Surgeons, British Association of Surgical Oncology, British Gynaecological Cancer Society, European Society of Coloproctology, NIHR Academy, Sarcoma UK, Vascular Society for Great Britain and Ireland, and Yorkshire Cancer Research

BOOK REVIEW: CARNIELLI, Walter & MALINOWSKI, Jacek (eds.). Contradictions, from Consistency to Inconsistency (Trends in Logic 47, Springer International Publishing, 2018, VI+322 pages)

Abstract In this review I briefly analyse the main elements of each chapter of the book centred in the general areas of logic, epistemology, philosophy and history of science. Most of them are developed around a fine-grained investigation on the principle of non-contradiction and the concept of consistency, inquired mainly into the broad area of paraconsistent logics. The book itself is the result of a work that was initiated on the Studia Logica conference "Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE", held at the State University of Campinas (Unicamp), Brazil, between September 12-15, 2016

Aproximación multidisciplinar al concepto cultura

El concepto cultura, desde el contexto occidental, se ha sustentado en axiomas de corte antropocéntrico que perduran en la actualidad. Estos paradigmas no han sido lo suficientemente atendidos; en concreto, los límites de la cultura, entre lo humano y lo no humano, que siguen generando controversia. Disciplinas que tradicionalmente no han tratado este tema, como la biología o la psicología comparada, en los últimos años han abordado el problema desde nuevas perspectivas. En el presente trabajo pretendemos seguir con esos nuevos modos de abordarlo. En este caso, desde una perspectiva multidisciplinar combinando ramas como la historia, la filosofía y la biología para contribuir a una reinterpretación del concepto “cultura”, que tradicionalmente se ha asumido como exclusivamente humanoThe concept of culture, from the western context, has always been based on anthropocentric type axioms that remain today. These paradigms are not been sufficiently questioned, in particular, the boundaries of culture, between human and non-human, that continues being controversial. Disciplines that traditionally have not considered this issue, such as biology or comparative psychology, in recent years have considered this discussion from new perspectives. In the following dissertation we aim to continue these new strategies, combining disciplines such as History, Philosophy, or Biology, from a multidisciplinary approach, in order to contribute to a reinterpretation of the concept "culture", which has traditionally been assumed to be exclusively huma